| John Corcoran | |
|---|---|
| Born | 1937 Baltimore, USA |
| Fields | Logic, History of logic, philosophy of logic, mathematical logic, philosophy of mathematics, epistemology, ontology, linguistics |
| Institutions | University of Buffalo (SUNY) |
| Alma mater | Johns Hopkins University |
| Doctoral advisor | Robert McNaughton |
| Known for |
Interpretation of Aristotle’s Prior Analytics, critical reconstruction of Boole’s original works, nature of logic, the role of logic in inquiry, the conceptual structure of logic, the metaphysical and epistemological presuppositions of logic, the nature of mathematical logic, categoricity, string theory, completeness of classical variable-binding-term-operator logic, many-sorted logic, natural-deduction modal logic, subregular polyhedra |
.
John Corcoran (born 1937, Baltimore, USA) is a logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work, helping us to understand such central concepts as the nature of inference, the relationship between logic and epistemology, and the place of proof theory and model theory in logic.
His work [1] on Aristotle’s logic of the Prior Analytics is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. It was adopted for the 1989 translation of the Prior Analytics by Robin Smith and for the 2009 translation of the Prior Analytics Book A by Gisela Striker.
Contents |
Baltimore Polytechnic Institute A Dipl Engineering 1956, Johns Hopkins University BES Mechanical Engineering 1959, MA Philosophy 1962, PhD. Philosophy 1963, Post-doctoral study: Yeshiva University Mathematics 1964 and University of California Berkeley Mathematics 1965. Dissertation: Generative Structure of Two-valued Logics; Supervisor Robert McNaughton (himself a pupil of Willard Van Orman Quine).
Professor of Philosophy, University of Buffalo (SUNY), 1973–; Associate Professor of Philosophy, University of Buffalo, 1970–1973; Assistant Professor of Linguistics, University of Pennsylvania, 1965–1969; Member of Linguistics Group, IBM Research Center, 1963–1964.
Visiting Professor of Logic, University of Santiago de Compostela 1994; Visiting Scholar, Linguistic Institute, SUNY Oswego 1976; NSF Seminar Project Director, Linguistic Institute, University of Buffalo 1971; Visiting Associate Professor of Philosophy and Research Associate, University of Michigan 1969–1970; Visiting Lecturer in Philosophy, University of California, Berkeley 1964–1965; Mathematician, GE Research Center 1962; Mathematician, Aeronca Astromechanics Institute, 1961; Junior Instructor in Philosophy, Johns Hopkins University 1960–1961.
Corcoran’s work in history of logic involves most of the discipline’s productive periods. He has discussed Aristotle, the Stoics, William of Ockham, Giovanni Girolamo Saccheri, George Boole, Richard Dedekind, Gottlob Frege, the American Postulate Theorists, Alfred Tarski, and Willard Van Orman Quine. His 1972 interpretation of Aristotle’s Prior Analytics, proposed independently by Timothy Smiley at about the same time, has been found to be more faithful than previous interpretations both to the Greek text and to the historical context. It has formed the basis for subsequent investigations by Edgar Andrade, George Boger, Manuel Correia, Paolo Crivelli, Newton da Costa, Catarina Dutilh, Paolo Fait, Nicolas Fillion, James Gasser, Klaus Glashoff, John Martin, Mary Mulhern, Michael Scanlan, Robin Smith and others. It was adopted for the 1989 translation of the Prior Analytics by Robin Smith and for the 2009 translation of the Prior Analytics Book A by Gisela Striker. His 1980 critical reconstruction of Boole’s original 1847 system revealed previously unnoticed gaps and errors in Boole’s work and established the essentially Aristotelian basis of Boole’s philosophy of logic. A 2003 article provides a systematic comparison and critical evaluation of Aristotelian logic and Boolean logic. His collaboration with Alfred Tarski in the late 1970s and early 1980s led to publications on Tarski’s work and to the 2007 article Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski, which traces Aristotelian and Boolean ideas in Tarski’s work and which confirms Tarski’s status as a founding figure in logic on a par with Aristotle and Boole.
His work in philosophy of logic focuses on the nature of logic, the role of logic in inquiry, the conceptual structure of logic, the metaphysical and epistemological presuppositions of logic, the nature of mathematical logic and the gaps between logical theory and mathematical practice. His mathematical logic treats propositional logics, modal logics, identity logics, syllogistic logics, the logic of first-order variable-binding term operators, second-order logics, model theory, and the theory of strings – a discipline which is foundational in all areas of logic and which provides essential background for all of his other mathematical work. In philosophy of mathematics Corcoran has been guided by a nuanced and inclusionary Platonism which strives to do justice to all aspects of mathematical and logical experience including those aspects emphasized by competing philosophical perspectives such as logicism, constructivism, deductivism, and formalism. Although several of his philosophical papers presuppose little history or mathematics, his historical papers often involve either original philosophy (e.g. his recent BSL article “Schemata”) or original mathematics (e.g. his 1980 HPL article “Categoricity”). He has referred to the mathematical dimension of his approach to history as mathematical archaeology. His philosophical papers often involve original historical research. He has been guided by the Aristotelian principle that the nature of modern thought is sometimes best understood in light of its historical development, a view that he attributes to Arthur Lovejoy’s History of Ideas Program at Johns Hopkins University and in which he has been encouraged by the American philosopher and historian Peter Hare.
Many of Corcoran’s articles and reviews are co-authored and many of his single-author publications acknowledge involvement of colleagues and students. Corcoran emphasizes the intensely and essentially personal nature of all genuine knowledge including logical knowledge. Nevertheless, he also stresses the importance of communities of knowers and how much each person can benefit in the personal search for truth from critical cooperation with other objective researchers. For over 40 years he was the leader of the “Buffalo Syllogistic Group”—a community of philosophers, historians, linguists, logicians, and mathematicians dedicated to the study of the origin of logic. The achievements of this community are sketched in his 2009 paper “Aristotle’s Logic at the University of Buffalo’s Department of Philosophy”, Ideas y Valores: Revista Colombiana de Filosofía 140 (August 2009) 99–117. A list of his publications, complete through 2000, appears in the 1999 volume of History and Philosophy of Logic, which also includes the expository article by M. Scanlan and S. Shapiro “The Work of John Corcoran: An Appreciation”. Other articles about his work include “Corcoran the Mathematician” by S. Shapiro , “Corcoran the Philosopher” by J. M. Sagüillo, and “Corcoran in Spanish” by C. Martínez-Vidal; all appear in a 2007 volume published by the University of Santiago de Compostela Press. Corcoran’s work in the 1990s on information-theoretic logic is discussed by José M. Sagüillo in the article “Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence” (History and Philosophy of Logic volume 30, 2009, 21-48), which received the 2009 Ivor Grattan-Guinness Award for the History and Philosophy of Logic ( http://informaworld.com/thpl ).
For a complete list see John Corcoran's homepage.
Corcoran’s courses are all introductory, having no prerequisites and presupposing no previous knowledge. In each course he reconstructs its subject-matter from the ground up and never covers the same material twice. Stressing the priority of education over indoctrination and the superiority of learning how to think over learning what to think, he strives to assist his students in connecting with the reality logic is about so that they may become autonomous judges of the adequacy of the field. His former students teach at Bryn Mawr, Canisius College, Colorado State, Dordt College, Ohio State, Oregon State, Pontifical University of Rio de Janeiro, St. John’s College, UCLA, University of Lausanne, University of Santiago de Compostela, and elsewhere. His best-known students include George Boger, James Gasser, Calvin Jongsma, Edward Keenan, José Miguel Sagüillo, Michael Scanlan, Stewart Shapiro, and George Weaver.